1. Feferman on foundations :
پدیدآورنده : Gerhard Jäger, Wilfried Sieg, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
رده :
QA9
.
2
2. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده : / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
3. Papers in philosophical logic /
پدیدآورنده : David Lewis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
رده :
BC135
.
L44
1998
4. The Arché papers on the mathematics of abstraction /
پدیدآورنده : edited by Roy T. Cook.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Abstraction.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Abstraction.,Logic, Symbolic and mathematical.,MATHEMATICS-- History & Philosophy.,Mathematics-- Philosophy.,Sciences humaines.,Sciences sociales.
رده :
QA8
.
4
.
A73
2007eb
5. The axiomatic method; an introduction to mathematical logic
پدیدآورنده : Lightstone, A. H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Axioms,، Mathematics-- Philosophy
رده :
QA
248
.
L53
6. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده : Kurt Godel
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
7. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده : Kurt Godel
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
8. The consistency of the axiom of choice and of the generalized continum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1953
9. The consistency of the axiom of choice and of the generalized continuum - Hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
10. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
3
11. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics-Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1966
12. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt.
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1940
13. The consistency of the axiom of choice and of the genralized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics-philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
